Optimal. Leaf size=239 \[ \frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right )-\frac {b e^{12} n \log \left (d+\frac {e}{\sqrt [3]{x}}\right )}{4 d^{12}}-\frac {b e^{12} n \log (x)}{12 d^{12}}+\frac {b e^{11} n \sqrt [3]{x}}{4 d^{11}}-\frac {b e^{10} n x^{2/3}}{8 d^{10}}+\frac {b e^9 n x}{12 d^9}-\frac {b e^8 n x^{4/3}}{16 d^8}+\frac {b e^7 n x^{5/3}}{20 d^7}-\frac {b e^6 n x^2}{24 d^6}+\frac {b e^5 n x^{7/3}}{28 d^5}-\frac {b e^4 n x^{8/3}}{32 d^4}+\frac {b e^3 n x^3}{36 d^3}-\frac {b e^2 n x^{10/3}}{40 d^2}+\frac {b e n x^{11/3}}{44 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.17, antiderivative size = 239, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.136, Rules used = {2454, 2395, 44} \[ \frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right )-\frac {b e^{10} n x^{2/3}}{8 d^{10}}-\frac {b e^8 n x^{4/3}}{16 d^8}+\frac {b e^7 n x^{5/3}}{20 d^7}-\frac {b e^6 n x^2}{24 d^6}+\frac {b e^5 n x^{7/3}}{28 d^5}-\frac {b e^4 n x^{8/3}}{32 d^4}+\frac {b e^3 n x^3}{36 d^3}-\frac {b e^2 n x^{10/3}}{40 d^2}+\frac {b e^{11} n \sqrt [3]{x}}{4 d^{11}}+\frac {b e^9 n x}{12 d^9}-\frac {b e^{12} n \log \left (d+\frac {e}{\sqrt [3]{x}}\right )}{4 d^{12}}-\frac {b e^{12} n \log (x)}{12 d^{12}}+\frac {b e n x^{11/3}}{44 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 44
Rule 2395
Rule 2454
Rubi steps
\begin {align*} \int x^3 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right ) \, dx &=-\left (3 \operatorname {Subst}\left (\int \frac {a+b \log \left (c (d+e x)^n\right )}{x^{13}} \, dx,x,\frac {1}{\sqrt [3]{x}}\right )\right )\\ &=\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right )-\frac {1}{4} (b e n) \operatorname {Subst}\left (\int \frac {1}{x^{12} (d+e x)} \, dx,x,\frac {1}{\sqrt [3]{x}}\right )\\ &=\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right )-\frac {1}{4} (b e n) \operatorname {Subst}\left (\int \left (\frac {1}{d x^{12}}-\frac {e}{d^2 x^{11}}+\frac {e^2}{d^3 x^{10}}-\frac {e^3}{d^4 x^9}+\frac {e^4}{d^5 x^8}-\frac {e^5}{d^6 x^7}+\frac {e^6}{d^7 x^6}-\frac {e^7}{d^8 x^5}+\frac {e^8}{d^9 x^4}-\frac {e^9}{d^{10} x^3}+\frac {e^{10}}{d^{11} x^2}-\frac {e^{11}}{d^{12} x}+\frac {e^{12}}{d^{12} (d+e x)}\right ) \, dx,x,\frac {1}{\sqrt [3]{x}}\right )\\ &=\frac {b e^{11} n \sqrt [3]{x}}{4 d^{11}}-\frac {b e^{10} n x^{2/3}}{8 d^{10}}+\frac {b e^9 n x}{12 d^9}-\frac {b e^8 n x^{4/3}}{16 d^8}+\frac {b e^7 n x^{5/3}}{20 d^7}-\frac {b e^6 n x^2}{24 d^6}+\frac {b e^5 n x^{7/3}}{28 d^5}-\frac {b e^4 n x^{8/3}}{32 d^4}+\frac {b e^3 n x^3}{36 d^3}-\frac {b e^2 n x^{10/3}}{40 d^2}+\frac {b e n x^{11/3}}{44 d}-\frac {b e^{12} n \log \left (d+\frac {e}{\sqrt [3]{x}}\right )}{4 d^{12}}+\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )\right )-\frac {b e^{12} n \log (x)}{12 d^{12}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.24, size = 218, normalized size = 0.91 \[ \frac {a x^4}{4}+\frac {1}{4} b x^4 \log \left (c \left (d+\frac {e}{\sqrt [3]{x}}\right )^n\right )-\frac {1}{4} b e n \left (\frac {e^{11} \log \left (d+\frac {e}{\sqrt [3]{x}}\right )}{d^{12}}+\frac {e^{11} \log (x)}{3 d^{12}}-\frac {e^{10} \sqrt [3]{x}}{d^{11}}+\frac {e^9 x^{2/3}}{2 d^{10}}-\frac {e^8 x}{3 d^9}+\frac {e^7 x^{4/3}}{4 d^8}-\frac {e^6 x^{5/3}}{5 d^7}+\frac {e^5 x^2}{6 d^6}-\frac {e^4 x^{7/3}}{7 d^5}+\frac {e^3 x^{8/3}}{8 d^4}-\frac {e^2 x^3}{9 d^3}+\frac {e x^{10/3}}{10 d^2}-\frac {x^{11/3}}{11 d}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.48, size = 232, normalized size = 0.97 \[ \frac {27720 \, b d^{12} x^{4} \log \relax (c) + 3080 \, b d^{9} e^{3} n x^{3} + 27720 \, a d^{12} x^{4} - 4620 \, b d^{6} e^{6} n x^{2} + 9240 \, b d^{3} e^{9} n x - 27720 \, b d^{12} n \log \left (x^{\frac {1}{3}}\right ) + 27720 \, {\left (b d^{12} - b e^{12}\right )} n \log \left (d x^{\frac {1}{3}} + e\right ) + 27720 \, {\left (b d^{12} n x^{4} - b d^{12} n\right )} \log \left (\frac {d x + e x^{\frac {2}{3}}}{x}\right ) + 63 \, {\left (40 \, b d^{11} e n x^{3} - 55 \, b d^{8} e^{4} n x^{2} + 88 \, b d^{5} e^{7} n x - 220 \, b d^{2} e^{10} n\right )} x^{\frac {2}{3}} - 198 \, {\left (14 \, b d^{10} e^{2} n x^{3} - 20 \, b d^{7} e^{5} n x^{2} + 35 \, b d^{4} e^{8} n x - 140 \, b d e^{11} n\right )} x^{\frac {1}{3}}}{110880 \, d^{12}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.44, size = 161, normalized size = 0.67 \[ \frac {1}{4} \, b x^{4} \log \relax (c) + \frac {1}{4} \, a x^{4} + \frac {1}{110880} \, {\left (27720 \, x^{4} \log \left (d + \frac {e}{x^{\frac {1}{3}}}\right ) + {\left (\frac {2520 \, d^{10} x^{\frac {11}{3}} - 2772 \, d^{9} x^{\frac {10}{3}} e + 3080 \, d^{8} x^{3} e^{2} - 3465 \, d^{7} x^{\frac {8}{3}} e^{3} + 3960 \, d^{6} x^{\frac {7}{3}} e^{4} - 4620 \, d^{5} x^{2} e^{5} + 5544 \, d^{4} x^{\frac {5}{3}} e^{6} - 6930 \, d^{3} x^{\frac {4}{3}} e^{7} + 9240 \, d^{2} x e^{8} - 13860 \, d x^{\frac {2}{3}} e^{9} + 27720 \, x^{\frac {1}{3}} e^{10}}{d^{11}} - \frac {27720 \, e^{11} \log \left ({\left | d x^{\frac {1}{3}} + e \right |}\right )}{d^{12}}\right )} e\right )} b n \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.26, size = 0, normalized size = 0.00 \[ \int \left (b \ln \left (c \left (d +\frac {e}{x^{\frac {1}{3}}}\right )^{n}\right )+a \right ) x^{3}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.47, size = 162, normalized size = 0.68 \[ \frac {1}{4} \, b x^{4} \log \left (c {\left (d + \frac {e}{x^{\frac {1}{3}}}\right )}^{n}\right ) + \frac {1}{4} \, a x^{4} - \frac {1}{110880} \, b e n {\left (\frac {27720 \, e^{11} \log \left (d x^{\frac {1}{3}} + e\right )}{d^{12}} - \frac {2520 \, d^{10} x^{\frac {11}{3}} - 2772 \, d^{9} e x^{\frac {10}{3}} + 3080 \, d^{8} e^{2} x^{3} - 3465 \, d^{7} e^{3} x^{\frac {8}{3}} + 3960 \, d^{6} e^{4} x^{\frac {7}{3}} - 4620 \, d^{5} e^{5} x^{2} + 5544 \, d^{4} e^{6} x^{\frac {5}{3}} - 6930 \, d^{3} e^{7} x^{\frac {4}{3}} + 9240 \, d^{2} e^{8} x - 13860 \, d e^{9} x^{\frac {2}{3}} + 27720 \, e^{10} x^{\frac {1}{3}}}{d^{11}}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.80, size = 191, normalized size = 0.80 \[ \frac {\frac {a\,d^{12}\,x^4}{4}-\frac {b\,e^{12}\,n\,\mathrm {atanh}\left (\frac {2\,e}{d\,x^{1/3}}+1\right )}{2}+\frac {b\,d^{12}\,x^4\,\ln \left (c\,{\left (d+\frac {e}{x^{1/3}}\right )}^n\right )}{4}+\frac {b\,d^3\,e^9\,n\,x}{12}+\frac {b\,d\,e^{11}\,n\,x^{1/3}}{4}+\frac {b\,d^{11}\,e\,n\,x^{11/3}}{44}-\frac {b\,d^6\,e^6\,n\,x^2}{24}+\frac {b\,d^9\,e^3\,n\,x^3}{36}-\frac {b\,d^2\,e^{10}\,n\,x^{2/3}}{8}-\frac {b\,d^4\,e^8\,n\,x^{4/3}}{16}+\frac {b\,d^5\,e^7\,n\,x^{5/3}}{20}+\frac {b\,d^7\,e^5\,n\,x^{7/3}}{28}-\frac {b\,d^8\,e^4\,n\,x^{8/3}}{32}-\frac {b\,d^{10}\,e^2\,n\,x^{10/3}}{40}}{d^{12}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________